Modeling Distributed Algorithm Using B
نویسنده
چکیده
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary functionalities of distributed systems. We shall illustrate the use of a certain formal technical for developing distributed algorithms.This technique uses a so-called “event driven” approach together with the B-Method .The resulting general machines for distributed system can serve as a framework for defining new systems or analyzing existing ones.
منابع مشابه
Optimal Placement of DGs in Distribution System including Different Load Models for Loss Reduction using Genetic Algorithm
Distributed generation (DG) sources are becoming more prominent in distribution systems due to the incremental demands for electrical energy. Locations and capacities of DG sources have great impacts on the system losses in a distribution network. This paper presents a study aimed for optimally determining the size and location of distributed generation units in distribution systems with differ...
متن کاملOptimal Placement of DGs in Distribution System including Different Load Models for Loss Reduction using Genetic Algorithm
Distributed generation (DG) sources are becoming more prominent in distribution systems due to the incremental demands for electrical energy. Locations and capacities of DG sources have great impacts on the system losses in a distribution network. This paper presents a study aimed for optimally determining the size and location of distributed generation units in distribution systems with differ...
متن کاملModeling the effect of different infrared treatment on B. cereus in cardamom seeds and using genetic algorithm-artificial neural network
In this study, the effect of infrared (IR) on decontamination of Bacillus cereus in cardamom seeds were determined at difference IR radiation powers (100, 200, and 300 W), different sample distances from radiation source (5, 10 and 15 cm) and various holding times. The most successful reduction in B. cereus numbers (5.11 log CFU/g) was achieved after a holding time of 8 min at...
متن کاملDistributed Incremental Least Mean-Square for Parameter Estimation using Heterogeneous Adaptive Networks in Unreliable Measurements
Adaptive networks include a set of nodes with adaptation and learning abilities for modeling various types of self-organized and complex activities encountered in the real world. This paper presents the effect of heterogeneously distributed incremental LMS algorithm with ideal links on the quality of unknown parameter estimation. In heterogeneous adaptive networks, a fraction of the nodes, defi...
متن کاملOptimal Allocation of Distributed Generation in Microgrid by Considering Load Modeling
Recent increment in carbon emission due to the dependency on fossil fuels in power generation sector is a critical issue in the last decade. The motivation to Distributed Generation (DG) in order to catch low carbon networks is rising. This research seeks to experience DG existence in local energy servicing in microgrid structure. Optimal sizing and placement of DG units is followed by this pap...
متن کاملOptimal placement and sizing of distributed generation considering FACTS devices and load uncertainty using hybrid sine-cosine algorithm and particle swarm optimization (HSCA-PSO)
Using Distributed Generation (DG) in electrical distribution networks brings many advantages and thus, optimal placement and sizing of these units become important. Most of the researches in this field neglect the effect of transmission system on distribution section. These researches also ignore the effect of Flexible Alternating Current Transmission Systems (FACTS). This thesis proposes a new...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003